1

A survey and trends on Internet worms

Année:
2005
Langue:
english
Fichier:
PDF, 317 KB
english, 2005
9

Design of secure operating systems with high security levels

Année:
2007
Langue:
english
Fichier:
PDF, 800 KB
english, 2007
30

Study on strand space model theory

Année:
2003
Langue:
english
Fichier:
PDF, 1.62 MB
english, 2003
31

Formal analysis and design of multi-party fair exchange protocols

Année:
2006
Langue:
english
Fichier:
PDF, 620 KB
english, 2006
32

A formal model for integrity protection based on DTE technique

Année:
2006
Langue:
english
Fichier:
PDF, 260 KB
english, 2006
33

On Decorrelated Fast Cipher

Année:
2000
Langue:
english
Fichier:
PDF, 134 KB
english, 2000
34

XEN virtual machine technology and its security analysis

Année:
2007
Langue:
english
Fichier:
PDF, 263 KB
english, 2007
35

Sorcery: Overcoming deceptive votes in P2P content sharing systems

Année:
2011
Langue:
english
Fichier:
PDF, 856 KB
english, 2011
37

A formal model of fair exchange protocols

Année:
2005
Langue:
english
Fichier:
PDF, 173 KB
english, 2005